Enriching the Qualitative Spatial Reasoning System RCC8
نویسندگان
چکیده
The field of qualitative spatial reasoning is now an active research area in Geographical Information Systems (GIS) and also in Artificial Intelligence (AI). Different kinds of spatial relations play an important role in spatial reasoning, spatial analysis, and query languages for geospatial databases. GIS and image databases are often based on the description of relations between spatial regions. One kind of these relations is the topological relations, where the general description of region-region topological relations in detail is still an unsolved issue, although much effort has been done. The eight basic topological relations between two spatial regions are written without any details in the classical form of the spatial reasoning system RCC8: DC, EC, PO, TPP, NTPP, TPPi, NTPPi, and EQ with the names of: DisConnected, Externally Connected, Partial Overlap, Tangential Proper Part, Non-Tangential Proper Part, Tangential Proper Part Inverse, Non-Tangential Proper Part Inverse, and Equally. In some applications, such as GIS and satellite imagery, need to be described in detail to get new spatial information by enriching these topological relations of the RCC8 system. In order to extract all the necessary details at all possible levels and to differentiate between relations of the same kind, multi-level topological relations are introduced by using two concepts: the Separation Number and the Types of Spatial Elements (Points and Lines) of the Boundary-Boundary Intersection Spatial Set (BBISS). In this chapter, the major contribution is the definition of multi-level topological relations to enrich the RCC8 system. The authors focus their research on the four relations EC, PO, TPP, and TPPi, which
منابع مشابه
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A translation of RCC8 constraints into a multimodal logic has been proposed by Bennett, but in his work a thorough semantical foundation of RCC8 and of the translation into modal logic is missing. In the present paper, ...
متن کاملQualitative Spatial Reasoning in RCC8 with OWL and SWRL
The Region Connection Calculus (RCC), and particularly its RCC8 subset, have been extensively studied and used for qualitative spatial reasoning. Some sets of computational operations have also been defined for topological relations, as the CM8 set, that allows to compute the RCC8 relationships on raster images. In this paper, we propose a reified representation of the RCC8 spatial relationship...
متن کاملCombining Topological and Directional Information for Spatial Reasoning
Current research on qualitative spatial representation and reasoning usually focuses on one single aspect of space. However, in real world applications, several aspects are often involved together. This paper extends the well-known RCC8 constraint language to deal with both topological and directional information, and then investigates the interaction between the two kinds of information. Given...
متن کاملRCC8 binary constraint network can be consistently extended
The RCC8 constraint language developed by Randell et al. has been popularly adopted by the Qualitative Spatial Reasoning and GIS communities. The recent observation that RCC8 composition table describes only weak composition instead of composition raises questions about Renz and Nebel’s maximality results about the computational complexity of reasoning with RCC8. This paper shows that any consi...
متن کاملExtensionality of the RCC8 Composition Table
This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism for Qualitative Spatial Reasoning. This table has been independently generated by Egenhofer in the context of Geographic Information Systems. It has been known for some time that the table is not extensional for each RCC model. This paper however shows that the...
متن کامل